A syntax improving program
نویسندگان
چکیده
منابع مشابه
Linear Projective Program Syntax
Based on an extremely simple program notation more advanced program features can be developed in linear projective program syntax such as conditional statements, while loops, recursion, use of an evaluation stack, object classes, method calls etc. Taking care of a cumulative and bottom up introduction of such complex features while providing appropriate projections into the lower levels of lang...
متن کاملPerses: Syntax-Guided Program Reduction
Given a program P that exhibits a certain property ψ (e.g., a C program that crashes GCC when it is being compiled), the goal of program reduction is to minimize P to a smaller variant P ′ that still exhibits the same property, i.e., ψ (P ′). Program reduction is important and widely demanded for testing and debugging. For example, all compiler/interpreter development projects need effective pr...
متن کاملProposal for Improving the UML Abstract Syntax
Different types of consistency of UML models have been described in the literature. The consistency of UML models with the UML static semantics, usually referred as wellformedness, and the consistency between different versions of the same model are among the most cited. The UML models’ well-formedness is a precondition for any other kind of consistency, being described by means of the UML abst...
متن کاملProgram Compilation 1. Machine Language Syntax
Overview This chapter describes the syntax and semantics of the SAFE machine language and the compilation of SAFE programs into the machine language, and discusses the correctness of a compilation algorithm. The syntax, semantics and compilation have all been formally embedded in the HOL theorem proving system, and the compilation veriied correct w.r.t. the semantics of SAFE given in the previo...
متن کاملAugmenting Abstract Syntax Trees for Program Understanding
Program Understanding efforts by individual maintainers are dominated by a process known as discovery , which is characterized by low-level searches through the source code and documentation to obtain information important to the maintenance task. Discovery is complicated by the delocalization of information in the source code, and can consume from 40-60% of a maintainers time. This paper prese...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Computer Journal
سال: 1968
ISSN: 0010-4620,1460-2067
DOI: 10.1093/comjnl/11.1.31